theorem checking造句

例句与造句

1. In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically ( see automated theorem checking ).
2. It's difficult to find theorem checking in a sentence. 用theorem checking造句挺难的